| Author | Revisions | Lines of Code | Added Lines of Code | Lines of Code per Change |
|---|---|---|---|---|
| joewhaley | 5 (100.0%) | 15 (100.0%) | 18 (100.0%) | 3.00 |
| Date | Author | File/Message |
|---|---|---|
| 11/30/03 8:07 PM | joewhaley | Add support for CAL BDD package.
Seems quite a bit slower than BuDDy or CUDD.
(1 Files changed,
3 Lines changed) .externalToolBuilders/Makefile builder.launch 1.5
(+3
-1)
|
| 10/20/03 2:49 PM | joewhaley | Update to not run in background.
(1 Files changed,
2 Lines changed) .externalToolBuilders/Makefile builder.launch 1.4
(+2
-0)
|
| 6/18/03 1:58 AM | joewhaley | Updates for CUDD bug fixes, small changes to NQueens and BDD API.
(1 Files changed,
1 Lines changed) .externalToolBuilders/Makefile builder.launch 1.3
(+1
-1)
|
| 2/21/03 2:31 AM | joewhaley | Change refresh for Makefile builder.
(1 Files changed,
1 Lines changed) .externalToolBuilders/Makefile builder.launch 1.2
(+1
-1)
|
| 2/21/03 1:55 AM | joewhaley | Added some Javadoc.
(1 Files changed,
11 Lines changed) .externalToolBuilders/Makefile builder.launch 1.1 added 11 |
